< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
Browser/Server模式下管理系统的开发 B/S系统下数据访问及报表生成技术 MVC结构模式下WEB表达层的设计和开发 SQL Server数据库管理系统上的SQL查询优化 毕业礼物 可做参考
上传时间: 2013-12-26
上传用户:libinxny
armsys2410-b开发板核心板原理图
上传时间: 2016-06-09
上传用户:csgcd001
杭州立宇泰armsys2410-b套件光盘资料使用手册。 包括: 1、armsys2410-B开发板linux2.4.18内核用户手册.pdf 2、armsys2410-B开发板硬件用户手册.pdf 3、ARMSYS2410开发套件Linux2.6.15内核使用说明.pdf 4、ARMSYS2410开发套件WINCE5.0BSP使用说明.pdf 5、一步一步基于ADS1.2进行开发(ARM9).pdf
上传时间: 2014-01-21
上传用户:hj_18
MATLAB具有强大的科学计算功能, 含有大量多目标优化分析函数。依据技术将函数在 环境下进行调用, 进行多目标优化集成系统开发, 实现数据的自动输入和输出功能, 编制了MATLAB与VB的数据接口代码, 提出程序设计时应注意的问题。
上传时间: 2014-11-26
上传用户:erkuizhang
Cell 插件用于开发B/S结构程序,使用Asp, Asp.net, Jsp, VbScript, JavaScript等语言开发,可以在浏览器中直接打印报表(非IE打印),带有国际化数字签名,让用户使用更方便,更安全。 · 具备Cell组件的所有特色功能,在浏览器中提供报表的显示和打印(非IE的打印) · 网络报表界面美观,大大改善了浏览器中报表的输出效果 · 带有国际化数字签名,让用户使用的更安全、更放心 · 可将报表文件另存为华表文件或者Excel文件,从而可以进行进一步加工 · 支持ASP、ASP.Net、JSP、VBScript、JavaScript等语言开发 在开发工具中将Cell插件引入至工程,然后将Cell插件拖至页面中即可开始报表设计。
上传时间: 2017-06-25
上传用户:13160677563
b to b 模式 电子商务系统 ,c# 开发 , B/S结构
上传时间: 2014-01-20
上传用户:hanli8870
单片机开发仿真环境keil初学者教程:平凡教程精品系列KEIL PDF教程第四讲.rar 平凡教程精品系列KEIL PDF教程第三讲.rar 平凡教程精品系列KEIL PDF教程第二讲.rar 平凡教程精品系列KEIL PDF教程第一讲.rar 《uVision2调试命令中文版》56页.zip 《RTX51中文版》KEIL RTX51实时操作.zip 《RTX51中文版》KEIL RTX51实时操作.zip 《uVision2入门教程》 中文PDF92页.rar keil c51汉化.rar KEIL PDF教程1(周立功编写)184页.rar AT24C02串行E2PROM的工作原理与读写.doc 如何用Keil 在线调试nRF24E1.pdf Keil C51编译、调试软件使用指南.pdf 嵌入式c编程语言入门与深入.pdf Keil Software–Cx51 编译器用户手册403页.pdf
上传时间: 2013-11-07
上传用户:wcl168881111111
单片机仿真软件,单片机开发仿真环境keil.c51.v706.Full。
上传时间: 2014-12-31
上传用户:lo25643
单片机仿真软件,单片机开发仿真环境keil.c51.v706.Full。
上传时间: 2013-10-13
上传用户:ca05991270